منابع مشابه
Maude's Internal Strategies
Maude is a reflective language supporting both rewriting logic and membership equational logic. Reflection is systematically exploited in Maude, endowing the language with powerful metaprogramming capabilities, including declarative strategies to guide the deduction process.
متن کاملSeal: Internal Teat Sealant Strategies
Orbeseal consists of bismuth subnitrate formulated into an inert viscous malleable paste that does not have any antibiotic or antimicrobial properties. It is delivered in a tube and is infused into the teat end after drying off in a manner similar to infusing a dry cow antibiotic. After infusion it fills the fissures and folds of the teat canal thereby creating a seal preventing the entrance of...
متن کاملInternal Strategies in a Re ective Logic ?
After introducing the basic notions of reeective logic and internal strategies, we discuss in detail how reeection can be systematically exploited to design a strategy language internal to a reeective logic in the concrete case of rewriting logic and Maude; and we illustrate the advantages of this new approach to strategies by showing how the rules of inference for Knuth-Bendix completion can b...
متن کاملAlternating strategies with internal ADMM for low-rank matrix reconstruction
This paper focuses on the problem of reconstructing low-rank matrices from underdetermined measurements using alternating optimization strategies. We endeavour to combine an alternating least-squares based estimation strategy with ideas from the alternating direction method of multipliers (ADMM) to recover low-rank matrices with linear parameterized structures, such as Hankel matrices. The use ...
متن کاملAnalysis of internal boundary conditions andcommunication strategies for multigridmultiblock
When the steady state solution of a PDE is obtained by a multigrid method on a mesh consisting of a number of blocks the performance will diier from the single block case. In this report we identify and analyze the mechanisms behind this diierence by studying simple model problems in one space dimension.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2005
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.11.022